<?php
$end_time = explode(' ', microtime());
$total_time = $end_time[0] + $end_time[1] - $start_time;
printf('Pagina geladen in %.3f seconden.', $total_time);
?>
